iOSアプリ開発で関数型プログラミングを実現するThe Composable Architectureの紹介

FP はコードの再利用性を高め、コードを高品質な部品として再利用可能としれる手段を提供するもの

iOS 開発は外部依存まみれ

そのリスクを軽減するには、自身のコードの振る舞いは予測可能なものとし、自動検証ができるようにし、そのような信頼性の高い部品を組み合わせて構築したい

そのための第一歩として副作用の分離がある

TCA を用いると副作用を分離することができる

View は State と Action の Reducer として定義する

TCA のメリット

純粋なロジックを副作用と分離できる: 可読性の向上

Effect.run で副作用を分離すると、Swift Concurrency で動作する

優先順位の設定、並列実行の構造化処理

キャンセル処理が用意されている

関心の分離ができるため、テストも行いやすい

https://gyazo.com/be57f18599ded8e652a28f64e24c7bac

Reducer は高階関数であり DI が可能であるため、レイヤードアーキテクチャを導入する必要はない

モジュール分割で十分

https://gyazo.com/d7cd54e34543fe4719d8211b62a5a2df

warning.icon Reducer は純粋関数型ではない

(inout State, Action) -> Effect<Action>

inout State はミュータブル

State を変更するのではなく、メインスレッドの Reducer 自身が State を変更する